results for CADE ATP System Competition